Stochastic Process Algebra Models of a Circadian Clock
نویسندگان
چکیده
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques from different modelling paradigms, PEPA and stochastic π-calculus.
منابع مشابه
Stochastic Modelling of the Kai-based Circadian Clock
We present two process algebra models of a Kai-protein based circadian clock. Our models are represented in the Bio-PEPA and the continuous pi-calculus process algebras. The circadian clock is not based on transcription and has been shown to persist with a rhythmic signal when removed from a living cell. Our models allow us to speculate as to the mechanisms which allow for the rhythmic signals....
متن کاملA Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock by which to regulate their behaviour. We consider two distinct stochastic models of the Circadian rhythm – one unbounded and the other bounded. We consider a fluid approximation of the models, and, by conversion to a s...
متن کاملComplementary approaches to understanding the plant circadian clock
Circadian clocks are oscillatory genetic networks that help organisms adapt to the 24-hour day/night cycle. The clock of the green alga Ostreococcus tauri is the simplest plant clock discovered so far. Its many advantages as an experimental system facilitate the testing of computational predictions. We present a model of the Ostreococcus clock in the stochastic process algebra Bio-PEPA and expl...
متن کاملStochastic models of cellular circadian rhythms in plants help to understand the impact of noise on robustness and clock structure
Rhythmic behavior is essential for plants; for example, daily (circadian) rhythms control photosynthesis and seasonal rhythms regulate their life cycle. The core of the circadian clock is a genetic network that coordinates the expression of specific clock genes in a circadian rhythm reflecting the 24-h day/night cycle. Circadian clocks exhibit stochastic noise due to the low copy numbers of clo...
متن کاملTranslating SBML Models into the Stochastic pi-Calculus for Stochastic Simulation
This paper addresses the translation of Systems Biology MarkUp Language (SBML) Level 2 models of network of biochemical reactions to the Biochemical Stochastic π-calculus (SPI). SBML is XML-based formalism for systems biology, while SPI can describe the concurrency of the different interactions occurring in a network of biochemical stochastic reactions. SPI models can be used for simulation by ...
متن کامل